Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
31	EUROPEAN JOURNAL OF OPERATIONAL RESEARCH ELSEVIER Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2013-05-24 15:43:15 Game theory Decision theory Soviet UnionUnited States relations Treaties of the Holy See Nuclear weapons testing Nash equilibrium National technical means of verification Comprehensive Nuclear-Test-Ban Treaty Organization Nuclear proliferation Zero-sum game Inspection Treaty on the Non-Proliferation of Nuclear Weapons
32	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
33	UNIVERSITY OF CALIFORNIA Santa Barbara Automatic Detection and Repair of Input Validation and Sanitization Bugs A Dissertation submitted in partial satisfaction Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 2014-07-17 15:02:57 Software testing Pharmaceutical industry Validity Software verification Verification and validation Validation European Joint Conferences on Theory and Practice of Software Data validation Vulnerability
34	DATA-DRIVEN VERIFICATION A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-01-28 00:57:22
35	Satisfiability Solving for Program Verification: towards the Efficient Combination of Automated Theorem Provers and Satisfiability Modulo Theory Tools Silvio Ranise1,2 1 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2006-10-25 04:16:55
36	Program Verification in Synthetic Domain Theory Dissertation zur Erlangung des akademischen Grades des Add to Reading List Source URL: www.margaretmorgan.com Language: English - Date: 2001-09-10 11:02:19
37	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
38	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
39	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
40	Timed Multiparty Session Types ? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real-time chore Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-05-06 04:45:18

UPDATE